Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 210,023,977 papers from all fields of science
Search
Sign In
Create Free Account
Nullary constructor
Known as:
0-argument constructor
In computer programming, a nullary constructor is a constructor that takes no arguments. Also known as a 0-argument constructor.
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
4 relations
Default constructor
Enumerated type
Hibernate ORM
Broader (1)
Method (computer programming)
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Corecursion and coinduction : what they are and how they relate to recursion and induction
M. Gordon
2017
Corpus ID: 9734802
Highly Cited
2009
Highly Cited
2009
System Description: Delphin - A Functional Programming Language for Deductive Systems
Adam Poswolsky
,
C. Schürmann
Electron. Notes Theor. Comput. Sci.
2009
Corpus ID: 13510899
2003
2003
Guide to J2EE: Enterprise Java
John Hunt
,
C. Loftus
Springer Professional Computing
2003
Corpus ID: 34132958
PART 1: BACKGROUND Why J2EE? Introduction to Distributed Systems The J2EE Tour Java Remote Method Invocation Activate Yourself…
Expand
Highly Cited
2002
Highly Cited
2002
A compiled implementation of strong reduction
B. Grégoire
,
X. Leroy
ACM SIGPLAN International Conference on…
2002
Corpus ID: 5887840
Motivated by applications to proof assistants based on dependent types, we develop and prove correct a strong reducer and…
Expand
2002
2002
Java: Data Structures and Programming
Liwu Li
Springer Berlin Heidelberg
2002
Corpus ID: 708416
Part I. Java Programming: Data Modeling in Java The Java Language Programming in Java Java Data Structure Classes Part II…
Expand
2000
2000
A Kleene Analysis of Mobile Ambients
F. Nielson
,
H. R. Nielson
,
Shmuel Sagiv
European Symposium on Programming
2000
Corpus ID: 16284977
We show how a program analysis technique originally developed for C-like pointer structures can be adapted to analyse the…
Expand
1995
1995
Eliminating the shortcomings of free datatype definitions
Stephan A. Missura
1995
Corpus ID: 59931526
Free datatypes unify the concepts of enumeration types disjoint unions and re cursive types and are used for de ning new terms…
Expand
Highly Cited
1995
Highly Cited
1995
A New Approach for the Verification of Cache Coherence Protocols
Fong Pong
,
M. Dubois
IEEE Trans. Parallel Distributed Syst.
1995
Corpus ID: 7054665
We introduce a cache protocol verification technique based on a symbolic state expansion procedure. A global Finite State Machine…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE